Semireticolo

In matematica un semireticolo è una struttura algebrica definibile come semigruppo commutativo idempotente. Una tale struttura si trova essere isomorfa ad un cosiddetto insieme semireticolato, insieme parzialmente ordinato nel quale ogni insieme di due elementi possiede massimo minorante (equivalentemente si potrebbe richiedere l'esistenza del minimo maggiorante). In effetti si può considerare la specie dei semireticoli come un impoverimento della più nota e importante specie dei reticoli e ciascuna di queste strutture algebriche risulta criptomorfa ad una struttura relazionale, precisamente a un insieme reticolato che ha come impoverimento un insieme semireticolato.